   publish(?r) IMPLIES ONCE[0,7d] approve(?r)
